Xasm - An Extensible, Component-Based Abstract State Machines Language

Xasm - An Extensible, Component-Based Abstract State Machines Language

TIK Report 136 The Formal Definition of Anlauff’s eXtensible Abstract State Machines

eXtensible Abstract State Machines (XASM) [1, 4, 2, 3] has been designed and implemented by Anlauff as formal development tool for the Montages project. Unfortunately a formal semantics of XASM has not been given up to now. We streamline Anlauff’s original design and present a denotational semantics, complementing the existing informal description. In fact we found that XASM implement a semanti...

Hierarchical Microprocessor Design Using XASM

In this paper, we introduce a tool-supported approach for mixed behavioral and structural simulator generation of complex state-of-the-art microprocessors using Abstract State Machines (ASMs) [5,3]. First, we describe our methodology starting from graphical architecture entry to automatic translation into XASM [1] language code. A major weakness of existing ASM language definitions is the lack ...

Using Grammarware Languages to Define Operational Semantics of Modelled Languages

Abstract State Machines, Prolog, and Scheme are wellestablished for language engineering in the technological space of grammarware. In this paper, we show how they can be integrated into the technological space of modelware to describe operational semantics of modelled languages. Integration is based on three bridges: a physical, a logical, and a pragmatical bridge between grammarware language ...

A Quick Look At

State Machine Tools For more than 15 years, abstract state machines have been studied, practiced, and applied in modeling and specification of systems to bridge the gap between formal and pragmatic approaches. ASMs have become a well-known technique and assumed a major role in providing a solid and flexible mathematical framework for specification and modeling of virtually all kinds of discrete...